1. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: کتابخانه و موزه ملی ملک (تهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
2. تحلیلی بر نظریه صدق تارسکی
پدیدآورنده : احمدی، علیاکبر، ۱۳۴۱-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۳
ت
۳
3. تحلیلی بر نظریه صدق تارسکی
پدیدآورنده : احمدی،علی اکبر ۱۳۴۱-
کتابخانه: كتابخانه الغدير یزد (مؤسسه فرهنگی تحقيقاتی اخوان دستمالچی) (یزد)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۱۳
ت
۲